大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

核电厂应急监测计划的关键问题及探讨

应急监测计划是核电厂应急计划的重要支持性文件,是核电厂应急监测准备和响应的重要依据。本文从核电厂事故应急监测方案、监测方法、监测设施设备配置、应急监测响应、监测能力的保持、质量保证等关键问题进行分析研究,提出相关建议,为核电厂应急监测计划的制订提供参考。     

脱硫胶粉在乳化改性沥青中的应用

考察了不同规格胶粉及不同脱硫程度的脱硫胶粉对橡胶改性乳化沥青性能的影响,结果表明,采用100目胶粉即可制备出橡胶改性乳化沥青,但乳化沥青的性能较差;采用活化度为50%左右的100目脱硫胶粉制备乳化沥青时,脱硫胶粉的用量相比于胶粉可大幅提高;在通过外掺100目50%左右活化度的脱硫胶粉(质量分数15%,以沥青计,下同)和质量分数2%的苯乙烯-丁二烯-苯乙烯嵌段共聚物改性的乳化沥青中添加质量分数1%的丁苯胶乳,所制备橡胶改性乳化沥青无筛上剩余物,5 d储存稳定性为2.9%,蒸发残留物的25℃针入度、软化点和5℃延度分别为55 (0.1 mm)、64.5℃和22.5 cm,能够满足乳化改性沥青的技术指标要求。     

Managing ethical requirements elicitation of complex socio-technical systems with critical systems thinking: A case of course-timetabling project

Complex socio-technical systems pose considerable challenges to requirements elicitation due to dynamic boundary conditions and conflicting perspectives. Traditional requirements engineering is criticized for its failure in providing a systemic view, overlooking ethical concerns and marginalized social perspectives. It is argued that educational institutions as a part of society need to ethically develop and manage their academic processes and consider such perspectives for emancipation. This critical qualitative research applies the emancipatory systemic methodology of critical systems thinking (CST) for the requirements elicitation of a complex and dynamic university course-timetables management problem. Firstly, the problem is ethically formulated to mitigate Type III errors. Secondly, multiple viewpoints are sought for boundary judgments using a CST-based ethical inquiry of boundary critique to reveal the normative content of the project design, explore imbalances amongst the socio-technical design components, and unveil the underlying ethical issues. The dynamic stakeholder network captures the system's emergence through stakeholder interconnectedness and boundary liquidity by sweeping-in relevant stakeholders through the continuum of various states of the project. This work enlightens requirements engineering by coupling systemic and socio-technical lenses for the elicitation of ethical requirements and the emancipation of marginalized perspectives in complex and dynamic information systems projects in general and timetabling problems, in particular.     

GBS-35型定向钻进铺管钻机的研制与应用

介绍了GBS-35型定向钻进铺管钻机的结构特点、技术规格、生产试验及施工情况等。     

Relationships among interpersonal conflict, requirements uncertainty, and software project performance

Interpersonal conflict and user requirements uncertainty are pervasive phenomena that plague information systems projects. Relevant literature indicates that interpersonal conflicts can negatively affect information system (IS) projects, even after controlling for the effects of conflict management and resolution. However, the negative emotional characteristics of conflict alone have limited explanatory power with regard to IS project success. The purpose of this study is to provide additional insights into this phenomenon by examining the impact on IS project performance made by the interaction between interpersonal conflict and requirement uncertainty (which comprises both diversity and instability). The authors surveyed the top 1600 companies in Taiwan and the results revealed that requirements instability would lead to potential interpersonal conflict and interpersonal conflict was directly associated with requirements diversity which, in turn, was negatively associated with final project performance.     

我国首部《预应力钢结构技术规程》(CECS212∶2006)的进展

对我国《预应力钢结构技术规程》的编制过程、重要参数的取值方法进行介绍并针对各位专家、学者对“规程”征求意见稿提出的部分重要问题,进行总结和回复。     

几种相关新旧公路规范荷载效应的比较

对现行的JTGD60—2004《公路桥涵设计通用规范》、CJJ77—1998《城市桥梁设计荷载标准》与原来的JTJ021—1989《公路桥涵设计通用规范》之间不同荷载方式和取值进行了比较,并分别对他们引起的荷载效应之间存在的实际差异进行了比较和分析,从而给老桥改扩建和利用时,经常碰见的上述三个规范、标准之间的比较问题提供了切实可行的依据。